Blar i NTNU Open på forfatter "Najafiuchevler, Bahram"
-
Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions
Najafiuchevler, Bahram; Svarstad, Kjetil (Journal article; Peer reviewed, 2018)With the increasing design and production costs and long time-to-market for Application Specific Integrated Circuits (ASICs), implementing digital circuits on reconfigurable hardware is becoming a more common practice. A ... -
Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs with Functional Programming Abstractions
Najafiuchevler, Bahram (Doctoral theses at NTNU;2018:370, Doctoral thesis, 2018)With the increasing design and production costs and long time-to-market for Application Specific Integrated Circuits (ASICs), implementing digital circuits on reconfigurable hardware is becoming a more common practice. A ...